match [] with
| 1 :: [] -> ()
